#ifndef CPU_INFO_H
#define CPU_INFO_H

#include <stdint.h>

int get_pmu_verison();
int get_pmu_counters();
int get_pmu_width();

void get_cpu_info();

#endif
